Notes on modal definability.
نویسندگان
چکیده
منابع مشابه
Modal Sequents and Definability
We examine a certain modal consequence relation, and define the notion of validity of a modal sequent on a frame. We demonstrate that it is possible to define classes of frames. not definable by modal formulas, by modal sequents. Through the use of modal algebras and general frames, we obtain a characterization of modal sequent-definable classes of frames which are also first-order definable, a...
متن کاملModal Definability Based on Łukasiewicz Validity Relations
We study two notions of definability for classes of relational structures based on modal extensions of Łukasiewicz finitely-valued logics. The main results of the paper are the equivalent of the Goldblatt Thomason theorem for these notions of definability.
متن کاملModal Definability in Enriched Languages
The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in th...
متن کاملA generalization of modal definability
Known results on global definability in basic modal logic are generalized in the following sense. A class of Kripke models is usually called modally definable if there is a set of modal formulas such that a class consists exactly of models on which every formula of that set is globally true, i. e. universally quantified standard translations of these formulas to the corresponding first order la...
متن کاملNotes on Mathematical Modal Logic
These notes were written by Wang Yafeng following a course of three intensive lectures on classical themes in mathematical modal logic given by Johan van Benthem in the Berkeley-Stanford Logic Circle, San Francisco, May 2015. Some of this material was collected in the monograph van Benthem [13], [16], other parts come from later publications. We will provide some references to further relevant ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1988
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093634994